arandilopez

#include <stdio.h>

int main()
{
	int i,space,rows,k=0;
	printf("Enter the number of rows: ");
	scanf("%d",&rows);
	for(i=1;i<=rows;++i)
	{
		for(space=1;space<=rows-i;++space)

arandilopez

<?xml version="1.0" encoding="UTF-8"?>
<beans xmlns="http://www.springframework.org/schema/beans"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:security="http://www.springframework.org/schema/security"
    xsi:schemaLocation="http://www.springframework.org/schema/security http://www.springframework.org/schema/security/spring-security-3.1.xsd
        http://www.springframework.org/schema/beans http://www.springframework.org/schema/beans/spring-beans.xsd">

    <security:authentication-manager alias="authenticationManager">
        <security:authentication-provider
            user-service-ref="userService">
            <security:password-encoder hash="md5"

arandilopez

exports.definition = {

  config: {
    columns: {
      // ...
    },
    adapter: {
      type:            "sql",
      collection_name: "MyModels"
    }

arandilopez

#!/bin/sh
#
# Push every crap you have done.
#

branch=$(git rev-parse --abbrev-ref HEAD)
git push -f origin $branch

arandilopez

(*

Rard, B. (2001). Systems and software verification: Model-checking techniques and tools. Berlin: Springer.

*)


procedure marking(phi)

	(* Caso de que phi sea una proposicion atomica *)

arandilopez

[Desktop Entry]
Version=1.0
Name=
GenericName=
Exec=
Terminal=false
Icon=
Type=Application
Categories=

arandilopez

gsettings set org.freedesktop.ibus.general use-system-keyboard-layout true

arandilopez

# --------------------------------------------------
# Setting up a Laravel app on dokku in a Vagrant box
# --------------------------------------------------

# First: cloning the dokku repo
$ git clone https://github.com/progrium/dokku
$ cd dokku

# Start, configure & provision a new vagrant box using the Vagrantfile from the repo
$ vagrant up

arandilopez

# This file is for unifying the coding style for different editors and IDEs
# editorconfig.org

root = true

[*]
end_of_line = lf
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true

arandilopez

[[OneDark]]
    scrollbar_position = hidden
    palette = "#000000:#eb6e67:#95ee8f:#f8c456:#6eaafb:#d886f3:#6cdcf7:#b2b2b2:#50536b:#eb6e67:#95ee8f:#f8c456:#6eaafb:#d886f3:#6cdcf7:#dfdfdf"
    font = Menlo 11
    background_image = None
    background_darkness = 0.98
    use_system_font = False
    cursor_color = "#bbbbbb"
    foreground_color = "#abb2bf"
    icon_bell = False