Commit Graph

Select branches

Hide Pull Requests

build-python-win

build-timestamp

c-runtime

canonical

compact-pgf

concrete-new

gf-lsp-expose-all

js-bindings

lpgf

lpgf-memo

lpgf-string

majestic

majestic-ci

majestic-macos

master

pgf2-complete

remove-example-based

sense-disambiguation

tp_nix_flake

try-to-build-python-module-for-win

wasm

#10

#103

#103

#106

#107

#11

#110

#111

#113

#114

#116

#118

#119

#120

#121

#122

#124

#126

#128

#129

#13

#133

#134

#134

#135

#136

#138

#140

#141

#142

#142

#143

#143

#144

#144

#147

#148

#149

#156

#160

#161

#162

#162

#164

#165

#166

#167

#169

#171

#173

#174

#175

#176

#178

#179

#180

#181

#182

#183

#184

#185

#186

#187

#188

#19

#190

#191

#192

#193

#194

#195

#196

#199

#199

#2

#2

#200

#203

#205

#205

#206

#206

#207

#22

#23

#24

#25

#3

#34

#39

#41

#42

#45

#50

#54

#55

#57

#59

#60

#61

#62

#65

#69

#7

#70

#71

#73

#75

#77

#78

#79

#83

#84

#86

#87

#88

#9

#93

#97

#99

3.11

GF-3.10

RELEASE-3.8

RELEASE-3.9

introduced-parser-test

release-3.12

release3.12-rc-1

release3.12-rc-2

release3.12-rc-3

v3.11-test-release-8

v3.11-test-release-9

Mono Color

• 14f19b9865 partial support for def-rules in the Lambda Prolog generation krasimir 2010-03-24 16:12:58 +00:00
• 17897bc286 partial support for def-rules in the Lambda Prolog generation krasimir 2010-03-24 16:12:58 +00:00
• 3ff870dcd6 politeness and disambiguation in Phrasebook (not visible yet) aarne 2010-03-24 08:18:54 +00:00
• 68482aa7e9 now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types. krasimir 2010-03-24 11:11:55 +00:00
• eab9110f05 politeness and disambiguation in Phrasebook (not visible yet) aarne 2010-03-24 08:18:54 +00:00
• ce99935812 now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types. krasimir 2010-03-24 11:11:55 +00:00
• 76d155af0e typo in CheckGrammar krasimir 2010-03-23 15:35:32 +00:00
• 297d40455e typo in CheckGrammar krasimir 2010-03-23 15:35:32 +00:00
• c80c403da2 use the new more accurate location information for some error messages krasimir 2010-03-23 15:24:48 +00:00
• 858f6a1d4e use the new more accurate location information for some error messages krasimir 2010-03-23 15:24:48 +00:00
• 1e51690b71 added codepage for Turkish krasimir 2010-03-23 13:44:17 +00:00
• 1591253a55 added codepage for Turkish krasimir 2010-03-23 13:44:17 +00:00
• 850b897f08 added comment to every GF.Text.CPxxxx module about the purpose of the codepage krasimir 2010-03-23 12:19:34 +00:00
• ef957a0307 added comment to every GF.Text.CPxxxx module about the purpose of the codepage krasimir 2010-03-23 12:19:34 +00:00
• 472c5e8ee7 add JavaScript API for completion. contributed by John J. Camilleri krasimir 2010-03-23 08:55:56 +00:00
• e7f01aa5f0 fix checkInfoType in Parser.y krasimir 2010-03-22 23:49:15 +00:00
• 5f6f4cdea3 www api command translategroup, which uses groupResults aarne 2010-03-22 22:04:36 +00:00
• bf74f50733 store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet krasimir 2010-03-22 21:15:29 +00:00
• 716a209f65 PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage aarne 2010-03-22 19:03:06 +00:00
• 2ac96a7643 transliteration for Urdu krasimir 2010-03-22 09:29:43 +00:00
• 0da54cdf64 produce optimized Lambda Prolog code krasimir 2010-03-22 08:56:42 +00:00
• dec065a578 nounAdjVerbNumerals e1560697 2010-03-22 08:44:21 +00:00
• 9d98177e65 French phrasebook aarne 2010-03-21 19:57:53 +00:00
• df0c6fb8d3 English version of Phrasebook aarne 2010-03-21 17:42:11 +00:00
• f4574a4cfa the NQueens algorithm written in GF krasimir 2010-03-21 19:01:57 +00:00
• 68840a3d6a Diff interface for Phrasebook aarne 2010-03-21 03:37:02 +00:00
• 5584415807 started Phrasebook with Finnish and Romanian aarne 2010-03-20 21:21:50 +00:00
• fba592ecf8 added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions. krasimir 2010-03-20 07:26:53 +00:00
• 973a0cacb7 pattern @ should be propagated to PGF krasimir 2010-03-18 20:21:57 +00:00
• 985bb550c0 fix the precedence for patterns ~, - and @ krasimir 2010-03-18 19:52:45 +00:00
• f870c4d80f syntax for inaccessible patterns in GF krasimir 2010-03-18 19:34:30 +00:00
• d91999dec0 incomplete code for adjoints and monads krasimir 2010-03-15 17:31:15 +00:00
• 381a7a2f07 identity functor krasimir 2010-03-15 16:35:00 +00:00
• c6f3111e67 added natural transformations krasimir 2010-03-15 14:52:47 +00:00
• aef1a1a5a3 incomplete code for composition of functors krasimir 2010-03-15 10:47:00 +00:00
• 9f45bb0df1 refactor Morphisms.gf and InitialAndTerminal.gf krasimir 2010-03-15 10:43:20 +00:00
• d7c68cdf27 two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms krasimir 2010-03-15 10:41:39 +00:00
• dfbc6ba9a3 added Equalizers in category-theory krasimir 2010-03-15 09:57:39 +00:00
• 828fc44029 bugfix in PGF.TypeCheck krasimir 2010-03-14 12:21:00 +00:00
• db2d9a3238 cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope krasimir 2010-03-13 20:12:00 +00:00
• efd1b5f252 fixes in FoodsUrd and DemoRon compilation aarne 2010-03-05 07:22:57 +00:00
• 8e344646f0 Quick fix to adapt to new version of the PGF library. hallgren 2010-03-04 18:46:18 +00:00
• 8422db66ca FoodsUrd added (by Shafqat) aarne 2010-03-04 16:56:36 +00:00
• 590cc6bb0b Macros and note in GFCC document. aarne 2010-03-02 21:22:53 +00:00
• bbf564730b gfcc README aarne 2010-03-02 19:30:16 +00:00
• dbe5a210b7 cleaned up gfcc ; added gfcc script aarne 2010-03-02 19:27:34 +00:00
• e4748e9984 restored gfcc example (GF C compiler) aarne 2010-03-02 19:10:56 +00:00
• 21b10f91cb rule for pretty printing implicit arguments krasimir 2010-02-22 20:09:28 +00:00
• d2988814a8 add pretty printing rule for implicit patterns krasimir 2010-02-22 20:02:53 +00:00
• 09da1013f9 refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store krasimir 2010-02-22 15:50:41 +00:00
• 21ad608e2a functors krasimir 2010-02-22 14:40:28 +00:00
• bcf4bc7d23 the oposites of two equal arrows are equal arrows krasimir 2010-02-22 14:38:13 +00:00
• 59d640088e bugfix in PGF.TypeCheck krasimir 2010-02-20 18:48:06 +00:00
• 45d209baf8 two theorems every iso is mono and every iso is epi krasimir 2010-02-20 16:37:23 +00:00
• 3d8b7f9850 some more definitions in category theory krasimir 2010-02-20 16:33:40 +00:00
• d09b05ab3f one more test for cyclic def rules krasimir 2010-02-16 20:27:07 +00:00
• 376f985409 removed strange typo from summerschool FoodsGer aarne 2010-02-17 16:08:27 +00:00
• 57c2a4dcd2 fix the Haskell code generation krasimir 2010-02-17 13:09:23 +00:00
• bfdef2f60c replace SS with StmtS in SUMO krasimir 2010-02-17 12:38:11 +00:00
• d6627b5a5a added TPTP for SUMO krasimir 2010-02-17 12:21:41 +00:00
• 6690fbaf6c SUMO axioms krasimir 2010-02-17 11:12:43 +00:00
• f7f0112256 added examples/SUMO krasimir 2010-02-17 11:07:24 +00:00
• a4d41ef3e3 fix in PGF.Printer krasimir 2010-02-17 10:31:10 +00:00
• b5d9ae552d -output-format=pgf_pretty now prints the flags as well krasimir 2010-02-17 10:20:49 +00:00
• 32f9499f2e fix the PGF printer for abstract krasimir 2010-02-16 21:47:58 +00:00
• 19b17dceb6 no need to keep the list of constructors per category in .gfo krasimir 2010-02-16 09:34:02 +00:00
• 2a7fbf43e1 nounverbadjmorphoandsuffixmodule e1560697 2010-02-15 17:22:10 +00:00
• ba3b57bff9 add JavaScript API for completion. contributed by John J. Camilleri krasimir 2010-03-23 08:55:56 +00:00
• 20d25c23cd fix checkInfoType in Parser.y krasimir 2010-03-22 23:49:15 +00:00
• cd25764350 www api command translategroup, which uses groupResults aarne 2010-03-22 22:04:36 +00:00
• d3a84f994b store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet krasimir 2010-03-22 21:15:29 +00:00
• d1615144b6 PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage aarne 2010-03-22 19:03:06 +00:00
• 63adb15eb9 transliteration for Urdu krasimir 2010-03-22 09:29:43 +00:00
• 8a0d72aeec update in Urdu krasimir 2010-03-22 09:01:27 +00:00
• 74448670f5 produce optimized Lambda Prolog code krasimir 2010-03-22 08:56:42 +00:00
• 2e78c2f774 Romanian numerals in utf8 aarne 2010-03-22 08:35:05 +00:00
• 534d553f3e switch to utf8 in Romanian aarne 2010-03-21 19:58:13 +00:00
• 8f148ee054 French phrasebook aarne 2010-03-21 19:57:53 +00:00
• d282a9e1a0 English version of Phrasebook aarne 2010-03-21 17:42:11 +00:00
• f4d3da0ccc the NQueens algorithm written in GF krasimir 2010-03-21 19:01:57 +00:00
• 5c9062f5ea Diff interface for Phrasebook aarne 2010-03-21 03:37:02 +00:00
• 99b5300795 MakeStructural in Cat and Spa aarne 2010-03-20 21:24:01 +00:00
• 7434b000b7 refer to MakeStructural in Spa and Cat; moved have_V2 to proper place in Ron aarne 2010-03-20 21:22:21 +00:00
• 49a016fd01 started Phrasebook with Finnish and Romanian aarne 2010-03-20 21:21:50 +00:00
• 57b8e42601 added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions. krasimir 2010-03-20 07:26:53 +00:00
• a74a81b8a1 pattern @ should be propagated to PGF krasimir 2010-03-18 20:21:57 +00:00
• b2c785edfa fix the precedence for patterns ~, - and @ krasimir 2010-03-18 19:52:45 +00:00
• 0c2944fa7f syntax for inaccessible patterns in GF krasimir 2010-03-18 19:34:30 +00:00
• dc0a84951f incomplete code for adjoints and monads krasimir 2010-03-15 17:31:15 +00:00
• 8ac49f854f identity functor krasimir 2010-03-15 16:35:00 +00:00
• 1d97276a14 added natural transformations krasimir 2010-03-15 14:52:47 +00:00
• 347347d411 incomplete code for composition of functors krasimir 2010-03-15 10:47:00 +00:00
• 77be515422 refactor Morphisms.gf and InitialAndTerminal.gf krasimir 2010-03-15 10:43:20 +00:00
• 52d5967008 two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms krasimir 2010-03-15 10:41:39 +00:00
• 8985a9ea04 added Equalizers in category-theory krasimir 2010-03-15 09:57:39 +00:00
• 34f5b2a436 bugfix in PGF.TypeCheck krasimir 2010-03-14 12:21:00 +00:00
• 6a89647a6d cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope krasimir 2010-03-13 20:12:00 +00:00
• 662aff27fe tour extended up to sentences and questions aarne 2010-03-06 22:05:48 +00:00
• 1dfbc7a741 fixes in FoodsUrd and DemoRon compilation aarne 2010-03-05 07:22:57 +00:00
• e239e3331a Quick fix to adapt to new version of the PGF library. hallgren 2010-03-04 18:46:18 +00:00